namespace nullability_NullablePassedToNonnull {
	typedef struct Dummy { int val; } Dummy;
	Dummy* _Nullable returnsNullable();
	void takesNonnull(Dummy* _Nonnull);

	void test() {
		Dummy* p = returnsNullable();
		takesNonnull(p); // warn
	}
}